MGI:3032652 PRKO<lacZ> http://identifiers.org/mgd/MGI:3032652 targeted mutation 1, John P Lydon PR<lacZ> Null/knockout|Reporter Pgr<tm1Lyd>